Faithful representation

Metadata
aliases: []
shorthands: {}
created: 2021-10-18 21:48:18
modified: 2022-01-10 04:13:04

Definition

group, complex linear space, representation, then is faithful if is an injective function.

Equivalently: